Von Neumann conjecture